((v2 v5 8) (v1 v4 3) (v2 v3 7) (v3 v1 4) (v4 v2 3) (v3 v5 6) (v5 v4 6))
41
((v5 v2))